2861. Theory and Applications of Formal Argumentation.
پدیدآورنده: \ Elizabeth Black , Sanjay Modgil , Nir Oren (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,Computer logic -- Congresses.,Artificial intelligence -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,منطق کامپیوتری -- کنگره ها , هوش مصنوعی-- کنگرهها
رده :
QA
76
.
9
.
T46
2015
E-Book
,


2862. Theory and Practice of Natural Computing
پدیدآورنده: \ Adrian-Horia Dediu, Luis Magdalena, Carlos Martín-Vide (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Natural computation -- Congresses,Artificial intelligence -- Congresses,محاسبات طبیعی -- کنگرهها,هوش مصنوعی-- کنگرهها
رده :
QA
76
.
9
.
N37
T65
2015
E-Book
,


2863. Theory and Practice of Robots and Manipulators :
پدیدآورنده: edited by A. Morecki, G. Bianchi, K. Kȩdzior.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Manipulators (Mechanism) -- Congresses.,Robotics -- Congresses.,Science (General)
رده :
TJ210
.
3
E358
1985


2864. Theory and application of diagrams : first International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 : proceedings
پدیدآورنده: Michael Anderson, Peter Cheng, Volker Haarslev )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Graphic methods,Congresses ، Visual communication,Congresses ، Computer graphics
رده :
QA
76
.
L28
Vol
.
1889


2865. Theory and practice of natural computing :
پدیدآورنده: David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
رده :
QA76
.
9
.
A43


2866. Theory and practice of natural computing
پدیدآورنده: Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Natural computation, Congresses,Natural computation, Congresses
رده :
QA76
.
9
.
N37
I58
2012eb


2867. Theory & applications of image analysis : selected papers from the 7th Scandinavian Conference on Image Analysis
پدیدآورنده: Scandinavian Conference on Image Analysis )7th: 1991: Aalborg, Denmark(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Image processing-- Congresses
رده :
TA
1632
.
S27
1991


2868. Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009 : proceeding
پدیدآورنده: / Jos?� Mira ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Brain--Computer simulation--Congresses,Natural computation--Congresses,Artificial intelligence--Congresses,Computational neuroscience--Congresses,Neural networks (Neurobiology),Electronic books.
رده :
QP
,
376
,.
I595
,
2009


2869. Tools and applications with artificial intelligence
پدیدآورنده: Constantinos Koutsojannis, Spiros Sirmakessis )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Intelligent agents )Computer software(
رده :
Q
334
.
T665


2870. Tools and applications with artificial intelligence
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Artificial intelligence ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;

2871. Tools and applications with artificial intelligence
پدیدآورنده: / Constantinos Koutsojannis, Spiros Sirmakessis (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Artificial intelligence--Congresses,Intelligent agents (Computer software)--Congresses

2872. Topics in artificial intelligence : 5th Catalonian Conference on AI, CCIA 2002; Castellon, Spain, October 24-25, 2002 : proceedings
پدیدآورنده: M. Teresa Escrig, Francisco Toledo, Elisabet Golobardes )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
2504


2873. Topics in artificial intelligence : 4th Conference of the Italian Association for Artificial Intelligence, AI*IA '95, Florence, Italy, October 11-13, 1995 : proceedings
پدیدآورنده: Marco Gori, Giovanni Soda
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
992


2874. Topics in case-based reasoning : first European workshop, EWCBR'93 Kaiserslautern, Germany, November 1-5, 1993 : selected papers
پدیدآورنده: Stefan Wess, Klaus-Dieter Althoff, Michael M. Tichter, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Expert systems )Computer science(,Congresses ، Case-based reasoning
رده :
QA
76
.
L28
Vol
.
837


2875. Toward a practice of autonomous systems : proceedings of the first European Conference on Artificial Life
پدیدآورنده: edited by Francisco J. Varela and Paul Bourgine
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Robotics,Congresses ، Artificial intelligence
رده :
TJ
210
.
3
.
E87
1991


2876. Towards Autonomous Robotic Systems
پدیدآورنده: \ Clare Dixon , Karl Tuyls (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Artificial intelligence,هوش مصنوعی,a04,a04,Autonomous robots -- Congresses.,روبوتهای خودکار -- کنگره ها
رده :
TJ
211
.
495
.
T6
2015
E-Book
,


2877. Towards autonomous robotic systems :
پدیدآورنده: Kaspar Althoefer, Jelizaveta Konstantinova, Ketao Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Autonomous robots, Congresses.,Autonomous robots.
رده :
TJ211
.
495
.
T37
2019eb


2878. Transactions on Edutainment IX
پدیدآورنده: Zhigeng Pan [aut]; Adrian David Cheok [aut]; Wolfgang Müller [aut]; Fotis Liarokapis [aut]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Active learning -- Congresses.,Computer-assisted instruction -- Congresses.,Educational games -- Congresses.

2879. Transactions on computational science XXXII :
پدیدآورنده: edited by Marina L. Gavrilova, C.J. Kenneth Tan, Alexei Sourin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Biometric identification-- Security measures, Congresses.,Computer security, Congresses.,Artificial intelligence.,Computer science.,Image processing.
رده :
QA76
.
9
.
A25


2880. Transactions on engineering technologies :
پدیدآورنده: Sio-Iong Ao, Len Gelman, Haeng Kon Kim, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Engineering, Congresses.,Artificial intelligence.,Automatic control engineering.,Data mining.,Engineering.,Life sciences: general issues.,Robotics.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA5

